Biblioteca Dr. Antonio Monteiro · Catálogo | |
Church, Alonzo. | ||||
1. | The calculi of lambda-conversion / by Alonzo Church. | 1941 | Libro |
03 C561 |
2. | Introduction to mathematical logic. Vol. I / by Alonzo Church. — [Rev. and enl. ed.]. | 1956 | Libro |
03 C561i |
Autores varios | ||||
3. | The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions / edited by Martin Davis. | 1965 | Libro |
03 Un55 |
Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.
Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com